Code Generation for Embedded Software for Modeling Clear Box Structures
نویسنده
چکیده
Prof. V. Chandra Prakash, Department of Information Technology, K L University, Vaddeswaram, Guntur district 522502 Email: [email protected] Dr. Sastry JKR, Department of Information Technology, K L University, Vaddeswaram, Guntur district 522502 Email: [email protected] Mr. D. Bala Krishna Kamesh, Department of Freshmen Engineering, K L University, Vaddeswaram, Guntur district 522502 Email: [email protected]
منابع مشابه
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three...
متن کاملGenerative Programming for a Component-based Framework of Distributed Embedded Systems 20060927
COMDES-II is a component-based software framework which formally specifies the modeling concepts and constraints for distributed embedded systems in different aspects, such as component structures, interaction, hierarchy, etc. The paper presents an overview of the design philosophies of COMDES-II in the related aspects and a generative programming approach developed to enable the engineering ap...
متن کاملEnvironment model-based system testing of real-time embedded systems
The behavior of real-time embedded systems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. Our Model-Based Testing (MBT) metho...
متن کاملA Synchronous-Based Code Generator for Explicit Hybrid Systems Languages
Modeling languages for hybrid systems are cornerstones of embedded systems development in which software interacts with a physical environment. Sequential code generation from such languages is important for simulation efficiency and for producing code for embedded targets. Despite being routinely used in industrial compilers, code generation is rarely, if ever, described in full detail, much l...
متن کاملBlack-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems
Robots belong to a class of Cyber-Physical Systems where complex software as a mobile device has to fulfill tasks in a complex environment. Modeling robotics applications for analysis and code generation requires modeling languages for the logical software architecture and the system behavior. The MontiArcAutomaton modeling framework integrates six independently developed modeling languages to ...
متن کامل